loading SCIP...
37 3094 true
2 9 13 18 19 20 27 28 30 33 38 41 44 48 52 53 54 55 57 58 59 61 62 63 65 70 71 74 79 81 83 84 90 91 93 94 99