loading SCIP...
13 39843 true
0 16 18 27 37 44 45 46 49 61 63 79 87