78.51/79.69	unsat
