loading SCIP...
16 33812 true
2 6 16 20 31 44 55 58 60 65 66 72 82 83 98 99