loading SCIP...
12 38953 true
2 4 10 12 13 18 23 31 32 42 66 75