loading SCIP...
38 5297 true
1 5 13 16 20 21 23 27 30 32 35 36 37 38 42 43 46 48 49 51 58 61 64 65 67 69 71 74 76 77 79 84 85 86 88 92 95 99