9.57/12.50	unsat
