SAT doubt solving

A collection of 4 posts