6.98/8.20	unsat
