Updating: z3*.sats