677.66/677.74	unsat
