satchmoability view 1