loading SCIP...
10 41922 true
3 6 12 39 43 73 79 80 81 93