76.58/78.07	unsat
