loading SCIP...
19 28937 true
2 3 6 9 10 17 19 28 33 40 42 49 50 65 74 93 95 96 99