4.68/4.85	unsat
