904.89/905.06	unsat
