Input System:
  VAR
    a ~ 1,
    b ~ 0.95
  IN
    a = 0.25 * 3.141597 AND
    a = ATAN(b, 1)
  -> SKIP
  END
Solution Found:
  a = 0.78539926
  b = 0.9987734

Input System:
  VAR
    a ~ 1,
    b ~ 0.9
  IN
    a = 0.25 * 3.141597 AND
    a = ATAN(b, 1)
  -> SKIP
  END
Solution Found:
  a = 0.78539926
  b = 0.99999064