847.66/849.35	unsat
