update solver instructions