loading SCIP...
13 37140 true
8 11 12 18 21 24 29 39 48 52 61 68 78