solver "always embed" problem