7.21/10.02	unsat
