loading SCIP...
12 37938 true
5 7 33 34 47 55 67 71 72 73 88 92