loading SCIP...
17 30984 true
5 8 12 23 29 30 31 35 45 48 49 57 58 64 69 73 91