added slack variables