78.97/80.06	unsat
