843.38/844.42	unsat
