problem set 12