7.87/10.02	unsat
