loading SCIP...
10 43656 true
1 24 31 53 55 80 87 90 96 97