6.84/10.17	unsat
