4.82/5.22	unsat
