696.32/698.27	unsat
