loading SCIP...
13 39312 true
17 21 24 29 30 33 39 45 52 58 60 68 76