10 Seminární práce - SAT