satchmoability view 2