ZIB 2
3SAT 3SAT, 09.02., 22:00