676.35/677.92	unsat
