loading SCIP...
11 38953 true
7 20 24 37 42 62 70 74 87 90 97