76.58/76.90	unsat
