78.29/80.75	unsat
