loading SCIP...
47 125 true
3 5 8 22 23 24 27 30 31 33 34 35 36 41 42 45 49 51 52 54 55 56 57 59 60 61 62 63 64 65 66 70 73 74 75 76 77 79 82 84 89 91 93 94 95 96 97