loading SCIP...
41 2656 true
4 5 9 11 12 14 16 18 20 21 22 26 27 29 30 33 34 50 53 56 57 60 61 62 65 69 70 74 75 76 78 79 80 82 83 84 85 96 97 98 99