loading SCIP...
63 63 true
0 1 4 6 9 11 13 16 19 20 21 22 23 24 25 26 27 30 36 37 38 39 40 42 44 45 46 47 48 49 50 51 52 53 57 60 61 63 64 65 66 67 68 69 70 71 72 73 75 76 77 80 82 83 85 86 89 90 92 93 95 98 99