79.58/84.53	unsat
