9.67/10.99	unsat
