added slack variable saving