slack constraint formulation and anti-maratos implemented