loading SCIP... 8 50250 true 1 13 20 22 24 59 61 99