only unroll trans as needed for different sat instances