en Btor mängd ockrareaf