loading SCIP...
17 30922 true
5 21 23 25 30 33 39 44 49 67 69 72 78 80 87 88 97