Log into Athena, execute the following commands at the ``athena%'' prompt, and then follow the instructions given. athena% add 8.04 athena% solver
