loading SCIP...
19 26828 true
3 21 24 26 27 34 39 42 45 54 58 71 75 81 88 89 91 95 98