loading SCIP...
11 33313 true
5 6 9 15 34 38 49 64 78 86 96