9.97/10.02	unsat
