4.25/5.83	unsat
