Four color map problem