6.84/10.05	unsat
