Lamm : 4 sat win.