9.67/9.97	unsat
