6.87/10.20	unsat
