#include <iostream>
#include <algorithm>
#include <string>
using namespace std;

int main() {
    string s;
    getline(cin,s);
    
    double d;
    cin>>d;

    if(s=="Single") {
        if(d<=9075) {
            cout<<(int) (0.1*d);
        }
        else if(d<=36900) {
            cout<<(int) (0.15*d);
        }
        else if(d<=89450) {
            cout<<(int) (0.25*d);
        }
        else if(d<=186350) {
            cout<<(int) (0.28*d);
        }
        else if(d<=405100) {
            cout<<(int) (0.33*d);
        }
        else if(d<=406750) {
            cout<<(int) (0.35*d);
        }
        else {
            cout<<(int) (0.396*d);
        }
    }
    else if(s=="Married joint filer"||s=="Surviving spouse") {
        if(d<=18150) {
            cout<<(int) (0.1*d);
        }
        else if(d<=73800) {
            cout<<(int) (0.15*d);
        }
        else if(d<=148850) {
            cout<<(int) (0.25*d);
        }
        else if(d<=226850) {
            cout<<(int) (0.28*d);
        }
        else if(d<=405100) {
            cout<<(int) (0.33*d);
        }
        else if(d<=457600) {
            cout<<(int) (0.35*d);
        }
        else {
            cout<<(int) (0.396*d);
        }
    }
    else if(s=="Head of household") {
        if(d<=12950) {
            cout<<(int) (0.1*d);
        }
        else if(d<=49400) {
            cout<<(int) (0.15*d);
        }
        else if(d<=127550) {
            cout<<(int) (0.25*d);
        }
        else if(d<=206600) {
            cout<<(int) (0.28*d);
        }
        else if(d<=405100) {
            cout<<(int) (0.33*d);
        }
        else if(d<=432200) {
            cout<<(int) (0.35*d);
        }
        else {
            cout<<(int) (0.396*d);
        }
    }
    else {
        if(d<=9075) {
            cout<<(int) (0.1*d);
        }
        else if(d<=36900) {
            cout<<(int) (0.15*d);
        }
        else if(d<=74425) {
            cout<<(int) (0.25*d);
        }
        else if(d<=113425) {
            cout<<(int) (0.28*d);
        }
        else if(d<=202550) {
            cout<<(int) (0.33*d);
        }
        else if(d<=228800) {
            cout<<(int) (0.35*d);
        }
        else {
            cout<<(int) (0.396*d);
        }
    }

    return 0;
}