4.82/4.94	unsat
