#include
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;
}