loading SCIP...
62 93 true
4 5 6 7 8 9 12 17 18 20 21 23 24 25 27 28 29 31 33 34 37 42 43 44 45 46 49 50 51 53 54 55 56 58 59 60 61 64 66 67 69 70 71 73 74 76 78 79 80 81 82 83 84 85 88 89 90 92 93 94 97 98