78.69/79.32	unsat
