loading SCIP...
13 33391 true
0 4 11 14 20 21 26 52 58 59 72 84 86