2617.sat