Bump solver versions.