loading SCIP...
23 20359 true
8 13 14 15 16 17 18 20 21 23 27 31 32 41 46 47 64 71 82 83 85 86 90