BCL-SMT 3.81/90