On the asphericity of a symplectic M^3 x S^1