725.67/726.06	unsat
