4.68/6.85	unsat
