loading SCIP...
15 35297 true
4 11 13 19 30 34 37 38 41 42 63 85 91 93 98