12.76/12.88	unsat
