3402.sat