loading SCIP...
41 1656 true
0 3 4 8 11 12 13 14 18 19 20 21 22 35 37 38 39 41 43 47 48 49 57 60 63 65 66 67 68 71 73 74 77 81 82 89 90 92 94 96 99