added details to problem specifications