import java.util.Scanner;

public class ZigZag {
    public static void main(String[] args) {
        Scanner scanner = new Scanner(System.in);
        String[]size=scanner.nextLine().split(" ");
        int Nrow = Integer.parseInt(size[0]);
        int Mrow = Integer.parseInt(size[1]);

        short [][]matrix = new short[Nrow][Mrow];
        short value=1;
        int [] values = new int[Nrow+Mrow-1];
        //value=GeneratValue(values);
       // System.out.println(values);
        for (int i = 0; i <Nrow ; i++) {

            for (int j = 0; j <Mrow ; j++) {
                matrix[i][j]=value;
                value+=3;

            }
            if (i+1<Mrow){
            value=matrix[0][i+1];
            }
        }
        long Sum=0;

            int k =0;
            for (int i = 0; i <Nrow ; i++) {
                if ((i+1)%2==1){
                     k = 0;
                }else {
                    k=1;
                }
                for (int j = k; j <Mrow ; j+=2) {
                    if ((j+1)%2==1){
                        if ((j!=0 )&& (j!=Mrow-1 )&& (i!=0 )&& (i!=Nrow-1)){
                        Sum+=matrix[i][j]*2;


                    }else {
                        Sum+=matrix[i][j];

                    }
                }else {
                        if ((j!=0 && j!=Mrow-1 && i!=0 && i!=Nrow-1)){
                            Sum+=matrix[i][j]*2;


                        }else {
                            Sum+=matrix[i][j];

                        }
                    }
            }


    }
        System.out.println(Sum);
}

    private static int GeneratValue(int[] values) {
        int value = 1;
        for (int i = 0; i < values.length; i++) {
            values[i]=value;
            value+=3;

        }
        return value;
    }
}