loading SCIP...
12 34781 true
4 15 16 26 52 53 59 65 70 77 94 95