loading SCIP...
14 37953 true
6 8 19 20 21 31 36 40 50 61 66 70 80 97