loading SCIP...
10 46594 true
3 8 22 40 41 51 52 74 88 97