loading SCIP...
47 578 true
0 2 4 8 9 10 11 16 18 20 22 23 24 25 26 27 29 31 32 33 34 35 36 39 40 41 43 44 45 49 50 52 53 54 55 57 58 60 62 63 72 79 82 85 86 94 97