#6: added unit tests to isSatisfied. Closes #6.