loading SCIP...
15 33046 true
8 11 12 14 16 34 43 46 51 57 63 71 73 87 89