847.04/849.50	unsat
