abcd.sat