12.50/12.73	unsat
