loading SCIP...
14 34750 true
4 5 8 14 21 23 24 42 54 73 74 79 80 92