diagram.sat