There are some inequalities too, so we need some slack variables. /s