loading SCIP...
15 37516 true
6 9 13 17 22 39 42 47 58 62 71 74 88 93 99