loading SCIP...
16 33735 true
4 7 13 19 24 50 51 52 60 70 72 83 85 86 93 95