发送短信: Constraint preconditioning for indefinite linear systems