loading SCIP...
39 1984 true
2 3 8 11 12 13 14 17 21 24 25 27 28 29 36 37 38 40 41 43 45 49 51 53 56 58 59 63 65 66 72 76 78 79 82 93 94 96 99