JanKocvara_OSA_ukol_problem_z_novin