loading SCIP...
16 39625 true
1 16 19 25 26 39 42 44 55 58 60 72 74 76 77 91