76.96/78.42	unsat
