4042.sat