12d11 < 4