solomon.sat