loading SCIP...
11 41015 true
5 6 18 19 25 26 32 76 81 83 94