loading SCIP...
8 50922 true
1 22 37 42 62 78 80 93