74.35/76.77	unsat
