6.68/7.82	unsat
