problems are passed to solvers as nl files he gained fame as an italian racing cyclist nubwo yatinze ntabwo ari uko atabakundaga cyane