working on simple single variable sat