10 STATUS=`grep "^(\* *Status *:" $X`
11 if [ `echo $STATUS | grep Open | wc -l` -eq 1 ]; then
14 if [ `echo $STATUS | grep Unknown | wc -l` -eq 1 ]; then
17 if [ `echo $STATUS | grep Satisfiable | wc -l` -eq 1 ]; then
20 if [ `echo $STATUS | grep Unsatisfiable | wc -l` -eq 1 ]; then