Lucky.sat