9.57/10.02	unsat
