9.26/12.00	unsat
