6.68/6.82	unsat
