892.18/894.73	unsat
