6.84/8.82	unsat
