loading SCIP...
11 40922 true
2 5 27 47 49 56 58 64 91 97 98