Added some problem specifications