mit 9.520