loading SCIP...
48 94 true
0 2 4 7 11 15 16 21 22 24 25 26 27 29 30 31 32 34 37 41 45 46 47 48 49 50 52 55 56 57 59 60 61 63 64 67 70 72 73 78 81 82 85 87 88 90 95 97