6.47/8.02	unsat
