The value of π/2∫−π/2dx[x]+[sinx]+4, where [t] denotes the greatest integer less than or equal to t, is :