Formula-Sheet-for-the-SAT