Levenshtein distance hard solution in progress