5.39/5.85	unsat
