loading SCIP...
12 39250 true
0 4 8 11 12 14 29 32 52 87 89 90