#include <iostream>
using namespace std;


int main()
{
    int poeni_stefan = 0, poeni_ana = 0;
    int najgolem_stefan = 0, najgolem_ana = 0;
    int stefan, ana;
    cin >> stefan >> ana;
    
    if(stefan > najgolem_stefan) {
        najgolem_stefan = stefan;
    }
    if(ana > najgolem_ana) {
        najgolem_ana = ana;
    }
    
    int tmp = stefan;
    int sum = 0;
    while(tmp > 0) {
        int digit = tmp % 10;
        sum += digit;
        tmp /= 10;
    }
    if(stefan % sum == 0) {
        poeni_stefan += 2;
        poeni_ana -= 1;
    }
    
    tmp = ana;
    sum = 0;
    while(tmp > 0) {
        int digit = tmp % 10;
        sum += digit;
        tmp /= 10;
    }
    if(ana % sum == 0) {
        poeni_stefan -= 1;
        poeni_ana += 2;
    }
    
    cin >> stefan >> ana;
    
    if(stefan > najgolem_stefan) {
        najgolem_stefan = stefan;
    }
    if(ana > najgolem_ana) {
        najgolem_ana = ana;
    }
    tmp = stefan;
    sum = 0;
    while(tmp > 0) {
        int digit = tmp % 10;
        sum += digit;
        tmp /= 10;
    }
    if(stefan % sum == 0) {
        poeni_stefan += 2;
        poeni_ana -= 1;
    }
    
    tmp = ana;
    sum = 0;
    while(tmp > 0) {
        int digit = tmp % 10;
        sum += digit;
        tmp /= 10;
    }
    if(ana % sum == 0) {
        poeni_stefan -= 1;
        poeni_ana += 2;
    }

    cin >> stefan >> ana;
    
    if(stefan > najgolem_stefan) {
        najgolem_stefan = stefan;
    }
    if(ana > najgolem_ana) {
        najgolem_ana = ana;
    }
    tmp = stefan;
    sum = 0;
    while(tmp > 0) {
        int digit = tmp % 10;
        sum += digit;
        tmp /= 10;
    }
    if(stefan % sum == 0) {
        poeni_stefan += 2;
        poeni_ana -= 1;
    }
    
    tmp = ana;
    sum = 0;
    while(tmp > 0) {
        int digit = tmp % 10;
        sum += digit;
        tmp /= 10;
    }
    if(ana % sum == 0) {
        poeni_stefan -= 1;
        poeni_ana += 2;
    }
    cout << poeni_stefan << " " << poeni_ana << endl;

    if(poeni_ana == poeni_stefan) {
        if(najgolem_ana > najgolem_stefan) {
            cout << "Ana" << endl;
        }
        else {
            cout << "Stefan" << endl;
        }
    }
    else if(poeni_ana > poeni_stefan) {
        cout << "Ana" << endl;
    }
    else {
        cout << "Stefan" << endl;
    }
    return 0;
}