Testing satisfayer for the first time