loading SCIP...
33 6562 true
0 1 7 9 20 22 29 36 37 44 45 47 48 50 51 52 55 62 67 68 69 73 74 75 79 80 82 84 88 89 94 95 97