842.97/844.56	unsat
