loading SCIP...
12 38421 true
5 11 22 26 33 50 62 67 73 74 78 83