#include <bits/stdc++.h>
using namespace std;
const int maxn = 2017;
char ch1[1010], ch2[1010], s[500];
int main() {
  scanf("%s%s", ch1, ch2);
  int len = strlen(ch1);
  int i, j;
  for (i = 0; i < len; i++)
    if (s[ch1[i]] * s[ch2[i]] == 0) {
      if (s[ch1[i]] + s[ch2[i]] == 0) {
        s[ch1[i]] = ch2[i];
        s[ch2[i]] = ch1[i];
      } else {
        printf("-1\n");
        return 0;
      }
    } else {
      if (s[ch1[i]] != ch2[i] || s[ch2[i]] != ch1[i]) {
        printf("-1\n");
        return 0;
      }
    }
  int ans = 0;
  for (i = 'a'; i <= 'z'; i++)
    if (s[i] && s[i] > i) ans++;
  printf("%d\n", ans);
  for (i = 'a'; i <= 'z'; i++)
    if (s[i] && s[i] > i) printf("%c %c\n", i, s[i]);
}
