loading SCIP...
14 34484 true
4 23 24 29 32 33 36 37 47 54 57 58 62 74