83.79/84.06	unsat
