import java.math.*;
import java.util.*;

public class Main {
	public static void main(String[] args) {
		Scanner sc = new Scanner(System.in);
		String n=sc.next();
		String k=sc.next();
		if(n.equals(k)){
			BigDecimal a = new BigDecimal(n);
			BigDecimal b = new BigDecimal(k);

			a = a.multiply(b);
			a=a.divide(new BigDecimal(4),0,BigDecimal.ROUND_CEILING);
			System.out.println(a.subtract(new BigDecimal(1)));
		}else{
		BigDecimal a = new BigDecimal(n);
		BigDecimal b = new BigDecimal(k);
		a = a.multiply(b);
		a=a.divide(new BigDecimal(2),0,BigDecimal.ROUND_CEILING);
		System.out.println(a.subtract(new BigDecimal(1)));
		}
		
	}
}