Added DOSAT; started formatting.