union.SAT by gerlesmedina | SimScale