loading SCIP...
42 1296 true
0 4 8 10 12 13 15 18 21 29 31 32 34 35 37 40 41 43 45 46 53 54 55 57 58 61 62 63 64 65 68 70 73 75 76 77 81 89 91 93 94 97