http://dreal.net/wiki/index.php/%D0%...B8%D0%B1%D0%B5