6.47/10.02	unsat
