loading SCIP...
12 39985 true
3 4 5 12 35 43 44 47 58 76 89 99