SC-square - Satisfiability Checking and Symbolic Computation: uniting two communities to solve real problems