12  Solving Presburger Arithmetic Formulas with linauto