prime.sat