Added sat -show-inputs and -show-outputs
Fixed a bug in miter command