4.58/6.85	unsat
