#5: added and fixed unit tests to isSatisfiable
Closes #5.