formatted known problems