84.11/86.06	unsat
