satisfiest 1 -
~~~~~~