10.57/12.25	unsat
