cora.sat