850.08/854.60	unsat
