min(-x1-x3+3*sqrt(3),-x3+3)