Epsilon = config_epsilon
bigM = config_bigM