exact.sat