cow.sat