4.82/5.86	unsat
