use --solver=topdown for better error messages