loading SCIP...
16 32343 true
5 8 20 23 24 33 37 42 46 77 78 81 84 87 96 97