Added variables. Adding constraints.