学校图书馆有故事书1200本,科技书的本数又是文艺书的十分之九,文艺书有多少本