83.73/84.01	unsat
