satchmoability view 3