abcde.sat