loading SCIP...
28 13157 true
8 9 21 26 27 28 29 33 34 35 45 46 50 51 61 63 68 70 71 76 78 81 84 85 88 90 97 98