pluck.sat