Clarified some problems, reformatted some inputs