А почему х1 и х2 должны быть неотрицательны?