added OR to 3rd and 4th constraints, also added code to measure execution time