loading SCIP...
13 36703 true
7 11 18 21 34 39 57 67 74 77 81 87 94