satisfy 1