6.87/9.02	unsat
