constraint violation problem