loading SCIP...
12 40828 true
4 26 27 37 48 49 54 55 61 62 66 91