$1=="p" {
# $3 is number of variables
# $4 is number of clauses
print " "
for (i=1;i<=$3;i++) {
print " "
print " "
print " "
print " "
print " "
}
}
$4=="0" {
c = NR-2
print " "
print " "
print " "
print " "
pvar($1)
pvar($2)
pvar($3)
print " "
print " "
print " "
print " "
}
func pvar(i) {
print " "
}