loading SCIP...
17 30938 true
2 9 15 16 20 25 26 48 55 57 70 71 77 79 82 88 97