9.46/12.25	unsat
