loading SCIP...
18 26968 true
4 6 7 8 9 23 28 32 55 64 65 70 81 88 91 92 95 98