difficulties importing .sat files