10.88/12.00	unsat
