684.12/684.90	unsat
