sat-unsat.jpg (62649 bytes)