1390.sat