loading SCIP...
12 41156 true
11 22 25 26 37 48 49 55 68 74 85 94