loading SCIP...
59 93 true
0 3 5 7 8 10 11 15 16 20 21 22 24 25 26 28 29 33 35 37 39 41 43 44 45 46 48 49 51 52 53 55 57 60 62 63 64 65 66 68 70 71 72 73 74 75 77 78 79 81 85 87 92 93 94 95 97 98 99