result with four answer sets