loading SCIP...
11 40953 true
6 14 20 22 32 40 44 57 69 93 98