solve: document difference between us and SMT

Fixes #174.