5.88/6.85	unsat
