4322.sat