9.67/10.97	unsat
