loading SCIP...
18 28094 true
16 19 26 30 33 34 38 47 50 60 62 67 77 79 83 85 89 93