3SAT

Rakouskem s N. Ofczarkem a R. Palfraderem

25. 2.04:10 → 04:40