loading SCIP...
12 43859 true
6 7 14 22 32 41 44 48 64 66 69 95