(os 6.828): add lab1 solution.