926.12/927.99	unsat
