6.00.1x Problemset 4 finished.