9.64/12.02	unsat
