loading SCIP...
22 20828 true
5 7 8 14 16 18 20 23 29 34 44 47 52 53 54 56 69 73 74 80 92 97