4347.sat