7.98/9.88	unsat
