loading SCIP...
10 40531 true
2 3 4 7 12 63 68 79 85 89