6.84/9.16	unsat
