12.08/12.50	unsat
