loading SCIP...
15 32859 true
5 6 13 16 22 28 41 45 57 65 70 73 76 77 83