896.30/900.23	unsat
