loading SCIP...
14 36891 true
1 9 19 21 23 28 33 36 46 74 78 80 85 98