927.12/927.25	unsat
