9.06/12.00	unsat
