problem with 6* synthesis