Mitja Kulczynski / simple_sat