6.84/9.25	unsat
