ducks.sat