loading SCIP...
18 29937 true
1 9 10 19 20 23 28 33 39 40 44 53 57 72 79 82 90 92