loading SCIP...
39 2531 true
0 2 6 7 10 12 14 18 19 21 22 24 31 32 33 36 43 45 46 49 51 53 55 57 58 59 60 64 65 68 77 79 81 84 86 88 90 93 96