loading SCIP...
12 38813 true
3 7 14 15 30 32 33 41 64 66 83 87