How to Integrate Machine-Learning Probabilistic Output in Integer Linear Programming: a case for RSA