9.07/10.81	unsat
