loading SCIP...
9 40094 true
3 20 49 67 71 80 83 95 96