842.00/844.41	unsat
