loading SCIP...
23 20781 true
2 9 17 23 32 40 41 59 61 62 66 69 72 73 76 82 84 88 89 90 92 93 98