loading SCIP...
13 38718 true
1 6 28 34 55 67 68 69 86 87 89 91 92