genz problems