故事书有850本,文艺书比故事书的2倍少145本,文艺书有多少本?