Btor sortering , lägsta prisi