Longest Binary Subsequence Less Than or Equal to K