loading SCIP...
17 33032 true
2 10 12 18 22 28 40 41 42 51 56 79 85 87 88 95 97