82.44/84.61	unsat
