loading SCIP...
11 41797 true
13 17 18 24 26 47 54 71 78 98 99