loading SCIP...
14 36109 true
5 12 20 26 29 37 44 48 50 61 75 79 89 97