cores to sat OK