loading SCIP...
12 41156 true
13 18 22 23 56 57 59 69 77 84 87 88