9.76/12.00	unsat
