908.32/912.12	unsat
