loading SCIP...
11 40093 true
23 32 38 40 45 56 64 65 67 77 90