budge.sat