Cleaned up unSAT implementation