#!/bin/ksh

if test -z "$1" -o -z "$2"
then
echo "Usage: $0 <src file> <dest file>"
exit 1
fi

unalias rm
rm -f tmp.1 tmp.2 tmp.3 tmp.4

cp $1 tmp.1

sed "s/(//" tmp.1 | sed "s/^ *//" | sed "s/)/0/" | grep -v "^ *$" > tmp.2

CLAUSES=`grep -c "(" tmp.1`

VARS=`sed "s/\([^0-9 ]\)//g" tmp.2 | sed -e "s/ /\\\\
/g" | grep -v "^ *$" | sort -r -n | head -n 1 | sed "s/\([^0-9]\)//g"`

echo "p cnf ${VARS} ${CLAUSES}" > tmp.3
cat tmp.3 tmp.2 > tmp.4

cp tmp.4 $2

rm -f tmp.1 tmp.2 tmp.3 tmp.4
