9.06/12.02	unsat
