9.28/12.50	unsat
