loading SCIP...
18 29640 true
3 6 9 10 18 20 22 23 51 52 61 62 66 73 77 78 79 88