78.62/78.73	unsat
