loading SCIP...
45 625 true
0 2 3 8 11 13 14 15 17 18 21 25 28 31 33 36 37 38 44 45 48 49 52 53 55 61 62 63 66 67 70 73 74 75 77 82 83 84 85 86 88 90 91 92 98