UniCoti

constraints1