Rename hw4-1.smv to hw5-1.smv