loading SCIP...
28 12093 true
0 5 6 9 16 18 19 26 28 33 34 35 36 37 39 42 44 45 46 51 56 60 64 71 72 80 82 91