loading SCIP...
13 27969 true
1 5 11 13 19 35 38 41 69 81 83 85 92