loading SCIP...
15 32969 true
1 4 9 19 23 26 30 33 53 63 65 78 87 93 94