6.84/7.99	unsat
