loading SCIP...
11 40813 true
1 14 28 29 42 55 56 59 62 77 97