torde dock göra Btor förlust.