851.60/855.42	unsat
