Solving 4x4 bedlam cube with SMT