loading SCIP...
17 31343 true
5 8 9 16 17 21 25 33 37 56 66 67 69 73 76 93 94