COMPLETE cases=1323 sat=0 nodes=1930452