Analysis of a time-discrete scheme for the Navier-Stokes/Allen-Cahn model.