loading SCIP...
13 40500 true
6 12 13 22 24 26 51 55 61 65 73 75 76