#include <bits/stdc++.h> using namespace std ; int main() { cout << "Minimal badness is 12." << endl ; return 0 ; }