Four color problem