loading SCIP...
9 45531 true
47 50 59 61 66 70 78 88 97