How long does it take to cook garlic?