k3.sat