Do commit based on sat::Transaction.