k0.sat