#!/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 tmp.5

cp $1 tmp.1

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

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

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

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

cp tmp.5 $2

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