904.23/906.31	unsat
