loading SCIP...
60 125 true
1 3 5 7 9 10 11 13 14 16 18 22 23 24 27 29 31 33 35 36 37 39 41 42 44 45 46 47 48 50 51 52 54 56 57 59 65 66 67 72 73 74 75 77 78 79 80 83 84 85 86 87 88 89 90 92 93 96 97 98