updating solve.sh and INSTALL