loading SCIP... 21 25125 true 6 8 11 15 16 18 19 21 27 33 34 37 46 56 58 72 77 82 94 95 98