changed the output of :sat so it is formatted by type