trove.sat