852.92/854.09	unsat
