9.87/10.82	unsat
