6.87/9.20	unsat
