loading SCIP...
11 40500 true
3 8 31 32 36 37 45 76 81 83 97