4.82/5.07	unsat
