#include <bits/stdc++.h>
using namespace std;
#define int long long
const int MOD = 1e9 + 7;
const int MAX = 200005;
int fact[MAX];
int invFact[MAX];
// Szybkie potęgowanie do odwracania modulo
int fast_pow(int base, int exp) {
int res = 1;
while (exp > 0) {
if (exp % 2 == 1) res = (res * base) % MOD;
base = (base * base) % MOD;
exp /= 2;
}
return res;
}
// Inicjalizacja silni
void precompute() {
fact[0] = 1;
for (int i = 1; i < MAX; i++) fact[i] = (fact[i - 1] * i) % MOD;
invFact[MAX - 1] = fast_pow(fact[MAX - 1], MOD - 2);
for (int i = MAX - 2; i >= 0; i--) invFact[i] = (invFact[i + 1] * (i + 1)) % MOD;
}
// Obliczanie permutacji k-elementowych ze zbioru n-elementowego (n silnia / (n-k) silnia)
// To jest to samo co: Symbol Newtona(n, k) * k!
int perm(int n, int k) {
if (k < 0 || k > n) return 0;
return (fact[n] * invFact[n - k]) % MOD;
}
int32_t main() {
ios_base::sync_with_stdio(false);
cin.tie(NULL);
precompute();
int n, m;
if (!(cin >> n >> m)) return 0;
string s;
cin >> s;
// 1. Grupowanie w bloki (Znak, Długość)
vector<pair<char, int>> blocks;
if (m > 0) {
char current_char = s[0];
int count = 1;
for (int i = 1; i < m; i++) {
if (s[i] == current_char) {
count++;
} else {
blocks.push_back({current_char, count});
current_char = s[i];
count = 1;
}
}
blocks.push_back({current_char, count});
}
// 2. Symulacja
priority_queue<int> pool; // Wolne drzewa (największe priorytetem)
priority_queue<int> active; // Podlane drzewa (największe priorytetem)
for (int i = 1; i <= n; i++) pool.push(i);
int total_coins = 0;
int scenarios = 1;
for (auto block : blocks) {
char type = block.first;
int len = block.second;
if (type == 'C') {
// Możemy podlać tyle, ile mamy wolnych, ale nie więcej niż długość bloku
int k = min((int)pool.size(), len);
// Matematyka: Z 'len' dostępnych dni wybieramy 'k' i obsadzamy konkretnymi drzewami
// Sposoby: len! / (len-k)!
if (k > 0) {
scenarios = (scenarios * perm(len, k)) % MOD;
// Przenosimy k najlepszych drzew
for (int i = 0; i < k; i++) {
active.push(pool.top());
pool.pop();
}
}
} else { // type == 'Z'
// Możemy zebrać tyle, ile jest aktywnych, ale nie więcej niż długość bloku
int k = min((int)active.size(), len);
// Matematyka: Z 'len' dni wybieramy 'k' na zbiory
if (k > 0) {
scenarios = (scenarios * perm(len, k)) % MOD;
vector<int> harvested;
// Zbieramy k najlepszych drzew (bo chcemy zmaksymalizować wynik i szybko je zwolnić)
for (int i = 0; i < k; i++) {
int tree = active.top();
active.pop();
total_coins += tree;
harvested.push_back(tree);
}
// Od razu wracają do puli (bo w kolejnym bloku C mogą być podlane)
for (int tree : harvested) {
pool.push(tree);
}
}
}
}
cout << total_coins << " " << scenarios << "\n";
return 0;
}