79.94/84.62	unsat
