CalculateSlack method
Print lits with sign
Use index, fix wrong usage of index() and use var() instead