6.88/10.05	unsat
