loading SCIP...
18 29625 true
1 16 18 21 22 28 30 35 40 51 58 69 82 83 88 91 92 93