added schematic SAT figure