4743.sat