7.18/10.02	unsat
