844.61/847.80	unsat
