3213.sat