loading SCIP...
23 19641 true
4 9 12 13 20 29 33 34 36 37 40 43 49 58 59 63 64 65 78 82 89 92 93