Problem solving SAT (jordi).pdf