4.82/5.83	unsat
