Output and Input analysis correct, missing what to with unsatisfied
inputs