new unsol testing showing bad overflow behavior