loading SCIP...
13 36328 true
14 27 30 32 39 43 44 45 52 56 66 80 92