847.19/850.23	unsat
